3.2 証明を楽にするコツ